You are here: irt.org | FOLDOC | closed term
<theory> A term with no free variables.
(1994-12-16)
Nearby terms: close brace « closed-box testing « closed set « closed term » close parenthesis » Clos network » closure
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL